A. Francez: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The Black Soldier-fly, Hermetia illucens (Diptera, Stratiomyidae), Used to Estimate the Postmortem Interval in a Case in Amapá State, Brazil

José R. Pujol-Luz, Pablo Abdon da Costa Francez, Alexandre Ururahy-Rodrigues, Reginaldo Constantino

Journal:

Journal of Forensic Sciences

Year:

2008

Language:

english

File:

PDF, 172 KB

english, 2008

2

Semantic variation and the grammar of property concepts

Francez, Itamar, Koontz-Garboden, Andrew

Journal:

Year:

2015

Language:

english

File:

PDF, 312 KB

english, 2015

3

A randomized clinical trial to assess the efficacy of trial-based cognitive therapy (TBCT) compared to prolonged exposure for post-traumatic stress disorder: preliminary findings

Duran, Ãrica Panzani, Corchs, Felipe, Vianna, Andrea, AraÃºjo, Ãlvaro Cabral, Del Real, NatÃ¡lia, Silva, ClÃ¡udio, Ferreira, Ana Paula, De Vitto Francez, Paula, GodÃ³i, ClÃ¡udio, Silveira, Helena, M

Journal:

Year:

2020

File:

PDF, 514 KB

2020

4

Preserving liveness: Comments on “safety and liveness from a methodological point of view”

Martín Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider

Journal:

Information Processing Letters

Year:

1991

Language:

english

File:

PDF, 197 KB

english, 1991

5

Dynamique du carbone et de l'azote chez le Carex rostrata , l’ Eriophorum vaginatum et le Calluna vulgaris dans une tourbière à sphaignes des monts du Forez (France)

Francez, André-Jean

Journal:

Canadian Journal of Botany

Year:

1995

File:

PDF, 627 KB

1995

6

Bilateralism in Proof-Theoretic Semantics

Francez, Nissim

Journal:

Journal of Philosophical Logic

Year:

2014

Language:

english

File:

PDF, 423 KB

english, 2014

7

A Logic Inspired by Natural Language: Quantifiers As Subnectors

Francez, Nissim

Journal:

Journal of Philosophical Logic

Year:

2014

Language:

english

File:

PDF, 747 KB

english, 2014

8

Proof-Theoretic Reconstruction of Generalized Quantifiers

Francez, Nissim, Ben-Avi, Gilad

Journal:

Journal of Semantics

Year:

2015

Language:

english

File:

PDF, 2.14 MB

english, 2015

9

A Note on Harmony

Nissim Francez and Roy Dyckhoff

Journal:

Journal of Philosophical Logic

Year:

2012

Language:

english

File:

PDF, 1.03 MB

english, 2012

10

Diversification of Object-Languages for Propositional Logics

Francez, Nissim

Journal:

Journal of Logic, Language and Information

Year:

2018

Language:

english

File:

PDF, 387 KB

english, 2018

11

Decomposition of distributed programs into communication-closed layers

Tzilla Elrad, Nissim Francez

Journal:

Science of Computer Programming

Year:

1982

Language:

english

File:

PDF, 1.18 MB

english, 1982

12

Categorial grammar and the semantics of contextual prepositional phrases

Nissim Francez, Mark Steedman

Journal:

Linguistics and Philosophy

Year:

2006

Language:

english

File:

PDF, 616 KB

english, 2006

13

Plurality and Temporal Modification

Ron Artstein, Nissim Francez

Journal:

Linguistics and Philosophy

Year:

2006

Language:

english

File:

PDF, 315 KB

english, 2006

14

Proof-Theoretic Semantics for Subsentential Phrases

Nissim Francez, Roy Dyckhoff, Gilad Ben-Avi

Journal:

Year:

2010

Language:

english

File:

PDF, 293 KB

english, 2010

15

A linear-history semantics for languages for distributed programming

N. Francez, D. Lehmann, A. Pnueli

Journal:

Theoretical Computer Science

Year:

1984

Language:

english

File:

PDF, 2.25 MB

english, 1984

16

Temporal Prepositions and Temporal Generalized Quantifiers

Ian Pratt, Nissim Francez

Journal:

Linguistics and Philosophy

Year:

2001

Language:

english

File:

PDF, 164 KB

english, 2001

17

The physicochemical and microbiological status of a restored bog in Québec: Identification of relevant criteria to monitor success

Roxane Andersen, André-Jean Francez, Line Rochefort

Journal:

Soil Biology and Biochemistry

Year:

2006

Language:

english

File:

PDF, 534 KB

english, 2006

18

Changes in microbial community structure and function following Sphagnum peatland restoration

Roxane Andersen, Laurent Grasset, Markus N. Thormann, Line Rochefort, André-Jean Francez

Journal:

Soil Biology and Biochemistry

Year:

2010

Language:

english

File:

PDF, 449 KB

english, 2010

19

A proof rule for fair termination of guarded commands

Orna Grumberg, Nissim Francez, Johann A. Makowsky, Willem P. de Roever

Journal:

Information and Control

Year:

1985

Language:

english

File:

PDF, 885 KB

english, 1985

20

Distribution of potential CO2 and CH4 productions, denitrification and microbial biomass C and N in the profileof a restored peatland in Brittany (France)

André-Jean Francez, Sébastien Gogo, Nathalie Josselin

Journal:

European Journal of Soil Biology

Year:

2000

Language:

english

File:

PDF, 659 KB

english, 2000

21

Achieving Distributed Termination without Freezing

Francez, N., Rodeh, M.

Journal:

IEEE Transactions on Software Engineering

Year:

1982

Language:

english

File:

PDF, 3.60 MB

english, 1982

22

Exploitation of northern peatlands and biodiversity maintenance: a conflict between economy and ecology

Chapman, Steve, Buttler, Alexandre, Francez, André-Jean, Laggoun-Défarge, Fatima, Vasander, Harri, Schloter, Michael, Combe, Jean, Grosvernier, Philippe, Harms, Hauke, Epron, Daniel, Gilbert, Daniel,

Journal:

Frontiers in Ecology and the Environment

Year:

2003

Language:

english

File:

PDF, 716 KB

english, 2003

23

Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic

Michael Kaminski, Nissim Francez

Journal:

Year:

2014

Language:

english

File:

PDF, 258 KB

english, 2014

24

E-Type Pronouns, I-Sums, and Donkey Anaphora

Shalom Lappin and Nissim Francez

Journal:

Linguistics and Philosophy

Year:

1994

Language:

english

File:

PDF, 4.16 MB

english, 1994

25

Existentials, Predication, and Modification

Journal:

Linguistics and Philosophy

Year:

2009

Language:

english

File:

PDF, 5.77 MB

english, 2009

26

Proof-theoretic semantics for a natural language fragment

Nissim Francez and Roy Dyckhoff

Journal:

Linguistics and Philosophy

Year:

2010

Language:

english

File:

PDF, 2.37 MB

english, 2010

27

Plurality and Temporal Modification

Ron Artstein and Nissim Francez

Journal:

Linguistics and Philosophy

Year:

2006

Language:

english

File:

PDF, 2.62 MB

english, 2006

28

Context dependence and implicit arguments in existentials

Journal:

Linguistics and Philosophy

Year:

2010

Language:

english

File:

PDF, 1.36 MB

english, 2010

29

Views of proof-theoretic semantics: reified proof-theoretic meanings

Journal:

Journal of Logic and Computation

Year:

2014

Language:

english

File:

PDF, 281 KB

english, 2014

30

The general stress response in Alphaproteobacteria

Francez-Charlot, Anne, Kaczmarczyk, Andreas, Fischer, Hans-Martin, Vorholt, Julia A.

Journal:

Trends in Microbiology

Year:

2015

Language:

english

File:

PDF, 854 KB

english, 2015

31

REVIEWS Ileana Comorovski & Klaus von Heusinger (eds.), Existence: Semantics and syntax (Studies in Linguistics and Philosophy 84). Dordrecht: Springer, 2007. Pp. vii+332.

Francez, Itamar, McNally, Louise

Journal:

Journal of Linguistics

Year:

2010

Language:

english

File:

PDF, 268 KB

english, 2010

32

Contrastive Logic

FRANCEZ, NISSIM

Journal:

Logic Journal of IGPL

Year:

1995

Language:

english

File:

PDF, 1015 KB

english, 1995

33

PROOF-THEORETIC SEMANTIC VALUES FOR LOGICAL OPERATORS

FRANCEZ, NISSIM, BEN-AVI, GILAD

Journal:

The Review of Symbolic Logic

Year:

2011

Language:

english

File:

PDF, 116 KB

english, 2011

34

ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS

FRANCEZ, NISSIM

Journal:

The Review of Symbolic Logic

Year:

2015

Language:

english

File:

PDF, 87 KB

english, 2015

35

Distributed Termination

Francez, Nissim

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1980

Language:

english

File:

PDF, 776 KB

english, 1980

36

A Lambek Automaton

Veksler, T., Francez, N.

Journal:

Logic Journal of IGPL

Year:

2006

Language:

english

File:

PDF, 1.07 MB

english, 2006

37

Modeling the distributed termination convention of CSP

Apt, Krzysztof R., Francez, Nissim

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1984

Language:

english

File:

PDF, 570 KB

english, 1984

38

A note on possession and mereology in Ulwa property concept constructions

Francez, Itamar, Koontz-Garboden, Andrew

Journal:

Natural Language & Linguistic Theory

Year:

2016

Language:

english

File:

PDF, 907 KB

english, 2016

39

Exploitation of Northern Peatlands and Biodiversity Maintenance: A Conflict between Economy and Ecology

Chapman, Steve, Buttler, Alexandre, Francez, Andre-Jean, Laggoun-Defarge, Fatima, Vasander, Harri, Schloter, Michael, Combe, Jean, Grosvernier, Philippe, Harms, Hauke, Epron, Daniel, Gilbert, Daniel,

Journal:

Frontiers in Ecology and the Environment

Year:

2003

Language:

english

File:

PDF, 2.64 MB

english, 2003

40

A 'Natural Logic' Inference System Using the Lambek Calculus

Anna Zamansky, Nissim Francez and Yoad Winter

Journal:

Journal of Logic, Language and Information

Year:

2006

Language:

english

File:

PDF, 2.20 MB

english, 2006

41

Time-scales of hydrological forcing on the geochemistry and bacterial community structure of temperate peat soils

Nunes, Flavia L. D., Aquilina, Luc, de Ridder, Jo, Francez, André-Jean, Quaiser, Achim, Caudal, Jean-Pierre, Vandenkoornhuyse, Philippe, Dufresne, Alexis

Journal:

Scientific Reports

Year:

2015

Language:

english

File:

PDF, 1.24 MB

english, 2015

42

A Proof-Theoretic Semantics for Exclusion

Francez, Nissim, Kaminski, Michael

Journal:

Logica Universalis

Year:

2017

Language:

english

File:

PDF, 647 KB

english, 2017

43

Bilateralism, Trilateralism, Multilateralism and Poly-Sequents

Francez, Nissim

Journal:

Journal of Philosophical Logic

Year:

2018

Language:

english

File:

PDF, 497 KB

english, 2018

44

Summative Existentials

Francez, Itamar

Journal:

Linguistic Inquiry

Year:

2018

Language:

english

File:

PDF, 138 KB

english, 2018

45

Proof-Theoretic Semantics for Natural Language

Francez, Nissim

Journal:

Year:

2019

Language:

english

File:

PDF, 1.55 MB

english, 2019

46

Cooperating proofs for distributed programs with multiparty interactions: Information Processing Letters Vol. 32, No. 5 (22 September 1989) pp. 235-242

Journal:

Information Processing Letters

Year:

1990

File:

PDF, 38 KB

1990

47

Cooperating proofs for distributed programs with multiparty interactions: Information processing letters Vol. 32, No. 5 (22 September 1989) pp. 235-242

Journal:

Information Processing Letters

Year:

1990

File:

PDF, 36 KB

1990

48

Semantics of nondeterminism, concurrency, and communication

Nissim Francez, C.A.R. Hoare, Daniel J. Lehmann, Willem P. De Roever

Journal:

Journal of Computer and System Sciences

Year:

1979

Language:

english

File:

PDF, 1.21 MB

english, 1979

49

A complete rule for equifair termination

Orna Grumberg, Nissim Francez, Shmuel Katz

Journal:

Journal of Computer and System Sciences

Year:

1986

Language:

english

File:

PDF, 1.15 MB

english, 1986

50

Extended naming conventions for communicating processes

Journal:

Science of Computer Programming

Year:

1983

Language:

english

File:

PDF, 944 KB

english, 1983

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски